Theorem 23: If a